void testThrow() {
    throw
    nothing; // meta-throw
}
